Books by author Elie Najm

Showing 1 – 6 out of 6 results

1. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2006

   Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   113.20 €

   Buy
2. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   Stan Budkowski, Ana Cavalli, Elie Najm | Springer, Berlin, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   204.86 €

   Sale 7 %

   You save 17.05 €

   Buy
3. 

   Formal Methods for Open Object-based Distributed Systems

   Elie Najm, Jean-Bernard Stefani | Chapman and Hall, 1996

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Hardback

   224.80 €

   Buy
4. 

   Formal Methods for Open Object-Based Distributed Systems

   Elie Najm, Uwe Nestmann, Perdita Stevens | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.46 €

   Sale 7 %

   You save 4.24 €

   Buy
5. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   Stan Budkowski, Ana Cavalli, Elie Najm | Springer Nature B.V., 2013

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   54.18 €

   Sale 0 %

   You save 0.04 €

   Buy
6. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   Stan Budkowski, Ana Cavalli, Elie Najm | Springer, Berlin, 1998

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Hardback

   224.80 €

   Buy

We inform you about all changes of your order. Find out more